﻿function view_onopen() {
	time.value=options.getValue("minutes");
	chkplay.value=options.getValue("play");
}
function onOk(){
	options.putValue("minutes",parseInt(time.value));
	options.putValue("play",chkplay.value);
}